inference tree造句

例句与造句

1. The main disadvantage of big-step semantics is that non-terminating ( diverging ) computations do not have an inference tree, making it impossible to state and prove properties about such computations.
2. It's difficult to find inference tree in a sentence. 用inference tree造句挺难的